disjunctive normal form - German English Dictionary